Nuprl Lemma : stable__function_equal 13,42

AB:Type, fg:(AB). (x:A. Stable{f(x) = g(x)})  Stable{f = g
latex


Upcore 2, core 2
Definitions, t  T, Stable{P}, P  Q, x:AB(x), A, False
Lemmasnot wf

origin